- logic entry
- Макаров: ввод логики
Универсальный англо-русский словарь. Академик.ру. 2011.
logic entry
Смотреть что такое "logic entry" в других словарях:
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Logic bomb — A logic bomb is a piece of code intentionally inserted into a software system that will set off a malicious function when specified conditions are met. For example, a programmer may hide a piece of code that starts deleting files (such as a… … Wikipedia
Logic model — The logic model is a general framework for describing work in an organization. Since work is often packaged in programs, it is often referred to as the program logic model. Definition In its simplest form, the logic model analyzes work into four… … Wikipedia
-logic — comb. form (also logical) forming adjectives corresponding esp. to nouns in logy (pathological; theological). Etymology: from or after Gk logikos: see IC, ICAL * * * a combining form used in the formation of adjectives corresponding to nouns… … Useful english dictionary
logic diagram — noun a graphical representation of a program using formal logic • Syn: ↑logical diagram • Hypernyms: ↑multidimensional language * * * logic diagram noun (computing) A diagram showing logical elements and interconnections without engineering… … Useful english dictionary
Connexive logic — names one class of alternative, or non classical, logics designed to exclude the so called paradoxes of material implication. (Other logical theories with the same agenda include relevance logic, also known as relevant logic.) The characteristic… … Wikipedia
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
Quantum logic — In mathematical physics and quantum mechanics, quantum logic is a set of rules for reasoning about propositions which takes the principles of quantum theory into account. This research area and its name originated in the 1936 paper by Garrett… … Wikipedia
Solid State Logic — Infobox Company company name = Solid State Logic Ltd company company type = Private limited 05356783cite web|url=http://wck2.companieshouse.gov.uk/bf7c9fe07febfa9fcc6fd72a9a56dabb/companysearch?disp=res frfsh=1152656377#result|title=Companies… … Wikipedia
History of logic — Philosophy ( … Wikipedia
Term logic — In philosophy, term logic, also known as traditional logic, is a loose name for the way of doing logic that began with Aristotle, and that was dominant until the advent of modern predicate logic in the late nineteenth century.This entry is an… … Wikipedia
